location |
trace |
/var/opt/lsb/test/olver-core/2013-01-18_15-48-05/math_complex_scenario.utz (math_complex_scenario.utt), line 387 |
occurence |
scenario |
math_complex_scenario |
specification function |
cproj_spec() |
parameter value |
CallContext context = [pid=2747,thr=b745c6c0] |
parameter value |
UnifloatComplex * @x = (float) 1.2300000000000000e+02 (0x.F6000000P7F) + i *(float) NaN |
parameter value |
UnifloatComplex * x = (float) 1.2300000000000000e+02 (0x.F6000000P7F) + i *(float) NaN |
return value |
(UnifloatComplex *) (float) Infinity + i *(float) 0.0000000000000000e+00 (0x.00000000P1F) |
coverage & branch |
C RE is normal and IM is nan |
properties |
REQ failed |
cprojf.01 |
expected value |
(float) 1.2300000000000000e+02 (0x.F6000000P7F) + i *(float) NaN |
kind |
POSTCONDITION_FAILED |